Browsing by Subject "Systems analysis"
Now showing items 1-20 of 27
-
Conference Object
Advanced static soaring flight controls for input constrained aircraft
(2010)Control surface actuator nonlinearities are recognized as a source of significant problems in flight control system design and verification. Recently developed adaptive control design methodologies with anti-windup ...
-
Article
Artificial neural networks for modelling the starting-up of a solar steam-generator
(1998)An experimental solar steam generator, consisting of a parabolic trough collector, a high-pressure steam circuit, and a suitable flash vessel has been constructed and tested in order to establish the thermodynamic performance ...
-
Article
Atemplate-based modeling approach for system design: Theory and implementation
(1996)Previous research has developed search algorithms for deducing Proper Models (minimum complexity models with physically meaningful parameters) of dynamic systems. It has also been proposed that these Proper Models can be ...
-
Conference Object
Brief announcement: A formal treatment of an abstract channel implementation using java sockets and TCP
(2007)Abstract models and specifications can be used in the design of distributed applications to formally reason about their safety properties. However, the benefits of using formal methods are offset by the challenging process ...
-
Article
Coding approaches to fault tolerance in linear dynamic systems
(2005)This paper discusses fault tolerance in discrete-time dynamic systems, such as finite-state controllers or computer simulations, with focus on the use of coding techniques to efficiently provide fault tolerance to linear ...
-
Conference Object
Concept-based discovery of mobile services
(2005)In this paper, we consider semantic service discovery in a global computing environment. We propose creating a dynamic overlay network by grouping together semantically related services. Each such group of services is ...
-
Conference Object
Content classification for caching under CDNs
(2008)Content Delivery Networks (CDNs) provide an efficient support for serving "resource-hungry" applications while minimizing the network impact of content delivery as well as shifting the traffic away from overloaded origin ...
-
Article
Continuous monitoring of children with suspected cardiac arrhythmias
(2009)Advances in wireless communications and networking technologies as well as computer and medical technologies, enable the development of small size, power efficient and more reliable medical multi-parameter recording systems, ...
-
Conference Object
Control-driven coordination based assembling of components
(2002)The coordination paradigm has been used extensively as a mechanism for software composition and integration. Consequently, a number of associated models and languages have been proposed which address issues of CBSE from ...
-
Conference Object
Demo: A programming cloud of smartphones
(2012)In this demonstration we present SmartLab 1, an exciting experimental testbed of approximately 40+ real Android Smartphones, plus emulated devices, deployed at the Department of Computer Science building at the University ...
-
Conference Object
Design space navigation for neighboring power-performance efficient microprocessor configurations
(2005)Microprocessor design is a considerably complex task. First, microprocessors include many resources that may be configured in different ways. This leads to a time consuming multi-objective optimization problem. Second, ...
-
Article
Fault-tolerant dynamic systems
(2000)We use unreliable system replicas and unreliable voters to construct redundant dynamic systems that tolerate transient failures in their state transition and error correcting mechanisms. Using low density parity check ...
-
Article
First-passage study and stationary response analysis of a BWB hysteresis model using quasi-conservative stochastic averaging method
(1995)The quasi-conservative stochastic averaging (QCSA) method is applied to a Bouc-Wen-Baber hysteretic system (BWB) under Gaussian white noise excitations. The stationary probability density of the system's response amplitude ...
-
Article
Linearisation and potential symmetries of certain systems of diffusion equations
(2006)We consider systems of two pure one-dimensional diffusion equations that have considerable interest in Soil Science and Mathematical Biology. We construct non-local symmetries for these systems. These are determined by ...
-
Conference Object
A methodology for model-driven web application composition
(2008)Web application composition can greatly benefit from the utilization of existing frameworks and reusable components, in order to reduce development effort. Frameworks implementing the Model-View-Controller architectural ...
-
Article
Model-driven development of composite context-aware web applications
(2009)Context-awareness constitutes an essential aspect of services, especially when interaction with end-users is involved. In this paper a solution for the context-aware development of web applications consisting of web services ...
-
Conference Object
Model-driven development of composite web applications
(2008)As the number of available web services increases, the development of web applications that integrate existing web services becomes more and more popular. This class of web applications can be seen as the composition of ...
-
Article
Model-driven development of context-aware web applications based on a web service context management architecture
(2009)Context information constitutes an essential aspect of service development and provision in mobile computing in the attempt to provide users with personalized services. The problem of handling context in these environments, ...
-
Conference Object
Real-Time Control of a Segmented Telescope Test-Bed
(2003)The control of large segmented telescopes is a challenging one due to the complexity and high order of the system. The high order dynamics lead to high order controllers that require more memory and faster computations for ...
-
Conference Object
A simulation tool to evaluate radio resource management algorithms for enhanced UMTS
(2005)This paper presents a new system level simulator that has been developed to evaluate Radio Resource Management (RRM) techniques in UMTS (Universal Mobile Telecommunication Systems) and enhanced-UMTS networks. The simulator ...